Dynamic logic - PDFSEARCH.IO - Document Search Engine

Dynamic logic
Results: 262

#	Item
231	Dynamic Description Logic: Embracing Actions into Description Logic Liang Chang1,2 , Zhongzhi Shi1 , Lirong Qiu1,2 , and Fen Lin1,2 1 Institute of Computing Technology, Chinese Academy of Sciences, Beijing, China, Add to Reading List Source URL: www.ceur-ws.org Language: English - Date: 2007-05-22 01:39:22 Interpretation Entailment Μ operator Logic Deduction Symbol
232	pdf version of the entry Dynamic Semantics http://plato.stanford.edu/archives/fall2010/entries/dynamic-semantics/ Add to Reading List Source URL: homepages.cwi.nl Language: English - Date: 2010-11-17 08:14:07 Formal languages Model theory Logical syntax Philosophy of language Interpretation First-order logic Proposition Function Semantics Logic Mathematics Mathematical logic
233	One Billion Packet per Second Frame Processing Pipeline Mike Davies Add to Reading List Source URL: www.hotchips.org Language: English - Date: 2013-07-28 00:21:45 Asynchronous circuit Clock signal Logic family IPv6 Futures and promises Dynamic logic Electrical engineering Electronic engineering Electrical circuits Computing
234	Journal of Artificial Intelligence Research[removed]472 Submitted[removed]; published[removed] Add to Reading List Source URL: www.cs.tufts.edu Language: English - Date: 2008-03-25 22:30:40 Dynamic programming Model theory Markov processes Stochastic control Boolean algebra Markov decision process Reinforcement learning Function Propositional variable Mathematics Statistics Logic
235	A Compositional Proof System for the Modal -Calculus Henrik Reif Anderseny Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2009-05-20 10:07:32 Modal logic Philosophical logic Model theory Logic in computer science Dynamic logic Kripke semantics Calculus Process calculus Interpretation Logic Mathematical logic Mathematics
236	Message Passing in a Dynamic Epistemic Logic Setting Floor Sietsma Add to Reading List Source URL: homepages.cwi.nl Language: English - Date: 2012-03-29 06:50:58 Metalogic Model theory Mathematical logic Epistemic modal logic Kripke semantics Entailment RSA Logic Philosophical logic Modal logic
237	Learning from the Perspective of Dynamic Epistemic Logic Jan van Eijck CWI & ILLC, Amsterdam ILLC Language and Learning Workshop, March 11, 2013 Add to Reading List Source URL: homepages.cwi.nl Language: English - Date: 2013-12-17 05:25:32 Mathematics Science Philosophical logic Artificial intelligence Epistemic modal logic Kripke semantics Epistemology Logic Modal logic Branches of philosophy
238	Propositional Dynamic Logic as a Logic of Belief Revision Jan van Eijck and Yanjing Wang Center for Mathematics and Computer Science (CWI) Kruislaan[removed]SJ Amsterdam, The Netherlands {jve,y.wang}@cwi.nl Add to Reading List Source URL: homepages.cwi.nl Language: English - Date: 2010-11-17 10:31:51 Philosophical logic Logic programming Propositional calculus Metalogic Model theory Epistemic modal logic Modal logic Interpretation Function Logic Mathematical logic Mathematics
239	Logics of Communication and Change Johan van Benthem a Jan van Eijck b Barteld Kooi c a ILLC, University of Amsterdam, Plantage Muidergracht 24, 1018 TV Amsterdam, The Netherlands & Philosophy Department, Stanford Univer Add to Reading List Source URL: homepages.cwi.nl Language: English - Date: 2010-11-17 11:24:18 Mathematics Epistemic modal logic Common knowledge Dynamic logic Modal operator Model theory Axiom Logic Mathematical logic Modal logic
240	The Gamut of Dynamic Logics∗ Jan van Eijck† and Martin Stokhof‡ 15th July 2005 Abstract Dynamic logic, broadly conceived, is the logic that analyses change by decomposing actions into their basic building blocks an Add to Reading List Source URL: homepages.cwi.nl Language: English - Date: 2010-11-17 11:26:53 Philosophical logic Model theory Non-classical logic Dynamic logic Epistemic modal logic Kripke semantics First-order logic Hoare logic Actor model Logic Mathematical logic Modal logic

UPDATE